Перевод: с английского на все языки

со всех языков на английский

checking machine

См. также в других словарях:

  • automatic checking machine — tikrinimo automatas statusas T sritis automatika atitikmenys: angl. automatic checking machine vok. Kontrollautomat, m rus. контрольный автомат, m pranc. automate de contrôle, m …   Automatikos terminų žodynas

  • Machine De Turing — Pour les articles homonymes, voir Turing (homonymie). Une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur et sa mémoire, créé par Alan Turing en vue de donner une définition précise …   Wikipédia en Français

  • Machine de turing — Pour les articles homonymes, voir Turing (homonymie). Une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur et sa mémoire, créé par Alan Turing en vue de donner une définition précise …   Wikipédia en Français

  • Machine translation — Part of a series on Translation Types Language interpretation …   Wikipedia

  • Machine d'état — Automate fini Pour les articles homonymes, voir Automate. Exemple d un diagramme d automate fini. Un automate fini (on dit parfois machine …   Wikipédia en Français

  • Machine à états finis — Automate fini Pour les articles homonymes, voir Automate. Exemple d un diagramme d automate fini. Un automate fini (on dit parfois machine …   Wikipédia en Français

  • Machine Check Exception — A Machine Check Exception (MCE) is a type of computer hardware error that occurs when a computer s central processing unit detects a hardware problem. Microsoft Windows displays the error using the blue screen of death containing the error… …   Wikipedia

  • machine rest — noun : a fixed support for holding a firearm while it is fired (as for determining the accuracy of the weapon or checking ammunition loadings) …   Useful english dictionary

  • Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… …   Wikipedia

  • Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… …   Wikipedia

  • Lisp machine — Lisp machines were general purpose computers designed (usually through hardware support) to efficiently run Lisp as their main software language. In a sense, they were the first commercial single user workstations. Despite being modest in number… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»